21![On Finite Domains in First-Order Linear Temporal Logic Denis Kuperberg, Julien Brunel, David Chemouil To cite this version: Denis Kuperberg, Julien Brunel, David Chemouil. On Finite Domains in First-Order Linear Temporal On Finite Domains in First-Order Linear Temporal Logic Denis Kuperberg, Julien Brunel, David Chemouil To cite this version: Denis Kuperberg, Julien Brunel, David Chemouil. On Finite Domains in First-Order Linear Temporal](https://www.pdfsearch.io/img/07ace3bd8f79ff20e017552a10f1d99e.jpg) | Add to Reading ListSource URL: hal.archives-ouvertes.fr- Date: 2016-07-12 08:42:58
|
---|
22![Jan Mendling and Stefanie Rinderle-Ma, eds.: Proceedings of EMISA 2016, Gesellschaft f¨ur Informatik, Bonn 2016 Plausibility Checking of Formal Business Process Specifications in Linear Temporal Logic (Extended Abstract Jan Mendling and Stefanie Rinderle-Ma, eds.: Proceedings of EMISA 2016, Gesellschaft f¨ur Informatik, Bonn 2016 Plausibility Checking of Formal Business Process Specifications in Linear Temporal Logic (Extended Abstract](https://www.pdfsearch.io/img/870ad68d59505758da43819342ae5564.jpg) | Add to Reading ListSource URL: eprints.cs.univie.ac.at- Date: 2016-08-08 07:44:57
|
---|
23![page.1 Categorical Semantics for an Intuitionistic Temporal Logic Wolfgang Jeltsch TTÜ Küberneetika Instituut page.1 Categorical Semantics for an Intuitionistic Temporal Logic Wolfgang Jeltsch TTÜ Küberneetika Instituut](https://www.pdfsearch.io/img/b96394e0edd89612de38684e2806223a.jpg) | Add to Reading ListSource URL: www.ioc.ee- Date: 2014-09-30 06:56:38
|
---|
24![Plausibility Checking of Formal Business Process Specifications in Linear Temporal Logic Christoph Czepa1 , Huy Tran1 , Uwe Zdun1 , Thanh Tran Thi Kim2 , Erhard Weiss2 , and Christoph Ruhsam2 1 Plausibility Checking of Formal Business Process Specifications in Linear Temporal Logic Christoph Czepa1 , Huy Tran1 , Uwe Zdun1 , Thanh Tran Thi Kim2 , Erhard Weiss2 , and Christoph Ruhsam2 1](https://www.pdfsearch.io/img/9b491ca8f185a32dee13d7ac3164b2d5.jpg) | Add to Reading ListSource URL: eprints.cs.univie.ac.at- Date: 2016-05-27 09:10:59
|
---|
25![Temporal Modalities for Concisely Capturing Timing Diagrams Hana Chockler1,2 and Kathi Fisler1 1 Department of Computer Science, WPI, Temporal Modalities for Concisely Capturing Timing Diagrams Hana Chockler1,2 and Kathi Fisler1 1 Department of Computer Science, WPI,](https://www.pdfsearch.io/img/82fb8e60544a954035f2106695636136.jpg) | Add to Reading ListSource URL: web.cs.wpi.eduLanguage: English - Date: 2005-08-29 16:45:53
|
---|
26![Wavelets and Image Compression Bradley J. Lucier Abstract. In this paper we present certain results about the compression of images using wavelets. We concentrate on the simplest case of the Haar decomposition and compr Wavelets and Image Compression Bradley J. Lucier Abstract. In this paper we present certain results about the compression of images using wavelets. We concentrate on the simplest case of the Haar decomposition and compr](https://www.pdfsearch.io/img/886c2a1c5cfc322bf93468f9a7a0a40b.jpg) | Add to Reading ListSource URL: www.math.purdue.eduLanguage: English - Date: 2015-10-07 14:27:16
|
---|
27![Duality formulas for robust pricing and hedging in discrete time∗ Patrick Cheridito† Michael Kupper Duality formulas for robust pricing and hedging in discrete time∗ Patrick Cheridito† Michael Kupper](https://www.pdfsearch.io/img/6a417fae8cf7cb774b76a2f51e180346.jpg) | Add to Reading ListSource URL: www.mat.univie.ac.atLanguage: English - Date: 2016-03-07 03:07:07
|
---|
28![CANONICAL SUBGROUPS VIA BREUIL-KISIN MODULES FOR p = 2 SHIN HATTORI Abstract. Let p be a rational prime and K/Qp be an extension of complete discrete valuation fields. Let G be a truncated Barsotti-Tate group of level n, CANONICAL SUBGROUPS VIA BREUIL-KISIN MODULES FOR p = 2 SHIN HATTORI Abstract. Let p be a rational prime and K/Qp be an extension of complete discrete valuation fields. Let G be a truncated Barsotti-Tate group of level n,](https://www.pdfsearch.io/img/2c50b779db91905a75f94cad7cf3f8a3.jpg) | Add to Reading ListSource URL: www2.math.kyushu-u.ac.jpLanguage: English |
---|
29![Duality for increasing convex functionals with countably many marginal constraints D. Bartl∗ P. Cheridito† Duality for increasing convex functionals with countably many marginal constraints D. Bartl∗ P. Cheridito†](https://www.pdfsearch.io/img/ec5844bd794c57de06aee9e1a72380fb.jpg) | Add to Reading ListSource URL: www.mat.univie.ac.atLanguage: English - Date: 2015-10-08 04:24:20
|
---|
30![Evaluating Interval-Valued Influence DiagramsI Rafael Caba˜nasa,∗, Alessandro Antonuccib , Andr´es Canoa , Manuel G´omez-Olmedoa a Department of Computer Science and Artificial Intelligence CITIC, University of Gran Evaluating Interval-Valued Influence DiagramsI Rafael Caba˜nasa,∗, Alessandro Antonuccib , Andr´es Canoa , Manuel G´omez-Olmedoa a Department of Computer Science and Artificial Intelligence CITIC, University of Gran](https://www.pdfsearch.io/img/8548bfbfc5d8e11cf60f5c030424a611.jpg) | Add to Reading ListSource URL: ipg.idsia.chLanguage: English - Date: 2016-05-24 15:35:25
|
---|